additive group of real numbers

实数加法群